de Morgan 代數
De Morgan algebra - Wikipedia
De Morgan algebra in nLab
Kleene 代數
De Morgan algebra - Wikipedia#Kleene algebra
Kleene algebra in nLab
※Kleene star 代數とは別物